Article Per Year (5 Year)
p-Index From 2019 - 2024
0
P-Index
This Author published in this journals
All Journal IJCCS (Indonesian Journal of Computing and Cybernetics Systems) Seminar Nasional Aplikasi Teknologi Informasi (SNATI) IJID (International Journal on Informatics for Development) CCIT (Creative Communication and Innovative Technology) Journal Unisia
Jazi Eko Istiyanto
Unknown Affiliation
Religion Humanities Computer Science & IT Control & Systems Engineering Economics, Econometrics & Finance Education Social Sciences

Published : 7 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : Seminar Nasional Aplikasi Teknologi Informasi (SNATI)

 1 
Towards Formal Specification of PaperLess Office Systems Bambang Nurcahyo Prastowo; Jazi Eko Istiyanto; Ahmad Ashari; Khabib Mustofa
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2015
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Abstract—The Center for Information and CommunicationTechnology Services of Gadjah Mada University runs a kind offormal office communication system called PLO (stands forPaperLess Office). Developed to serve ad hoc needs of the center,the system evolves for several years without properdocumentation. Several attempt store write the system failed dueto the lack of the documentations. Judging from the fact that it hasbeen serving the institution well for several years, the system canbe treated as a user requirement. A formal specification is writtenbased on it.Keywords—formal specification; paperless office; informationsystem
Co-Authors Ahmad Ashari Bambang Nurcahyo Prastowo Bambang Sugiantoro Edhy Sutanta (Jurusan Teknik Informatika IST AKPRIND Yogyakarta) Khabib Mustofa Resi Utami Putri Retantyo Wardoyo Sri Hartati Yazid Dul Muchlisin